Marieke & Beyer: Z-Library web sitesinde arama yap

Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Bağış 15 Eylül 2024 – 1 Ekim 2024

Z-Library- 17,000,000'den fazla kitap ve 84,837,000 makale barındıran dünyanın en büyük çevrimiçi kitaplıklarından biridir. Edebiyatı herkes için erişilebilir hale getirmeye çalışıyoruz. Bugün (15 Eylül 2024) projeyi desteklemek ve geliştirmek için ek bir bağış koleksiyonu açıyoruz.

Ayrıca SINIRSIZ indirme (bağış gününden sonraki 31 gün içinde), 'ye kadar olan bağış toplama döneminde projeyi destekleyecek TÜM 1 Ekim 2024 kullanıcılar tarafından kullanılabilir.

Bağış toplama hakkındaAyrıntılı

Kitaplar (6)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Yıl:

2018

Dil:

english

Dosya:

PDF, 18.68 MB

0 / 0

english, 2018

2

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Springer International Publishing

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Yıl:

2019

Dil:

english

Dosya:

PDF, 9.90 MB

0 / 0

english, 2019

3

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Springer International Publishing

Dirk Beyer, Marieke Huisman

Yıl:

2018

Dil:

english

Dosya:

PDF, 18.46 MB

0 / 0

english, 2018

4

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018...

Saint Philip Street Press

Marieke Huisman & Dirk Beyer [Huisman, Marieke & Beyer, Dirk]

Yıl:

2020

Dil:

english

Dosya:

EPUB, 6.00 MB

0 / 0

english, 2020

5

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman & Fabrice Kordon & Bernhard Steffen

Yıl:

2019

Dil:

english

Dosya:

PDF, 9.84 MB

0 / 0

english, 2019

6

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer & Marieke Huisman

Yıl:

2018

Dil:

english

Dosya:

PDF, 20.54 MB

0 / 0

english, 2018